Notions of computation and monads

1991

序盤の方は全く同じっぽいが強モナドとか書かれてる

CSにモナドを入れた最初？